Перевод: с русского на английский

с английского на русский

the theorem is proved

  • 1 За ... шагов (этапов)

    Русско-английский словарь по прикладной математике и механике > За ... шагов (этапов)

  • 2 За ... шагов (этапов)

    Русско-английский словарь по прикладной математике и механике > За ... шагов (этапов)

  • 3 доказательство

    proof (of), demonstration (of), argument, evidence (for)
    Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...
    Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.
    Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...
    Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.
    В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...
    Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...
    Дадим формальное доказательство (этого). - The formal proof is as follows.
    Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.
    Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...
    Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...
    Для нашего доказательства удобно использовать... - For our proof it is convenient to use...
    Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.
    Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.
    Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.
    Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...
    Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.
    Доказательство проводится методом индукции по п. - The proof is by induction on n.
    Доказательство проводится от противного. - The argument is by reductio ad absurdum.
    Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...
    Доказательство становится неверным, если... - The proof breaks down if...
    Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED
    Доказательство этого легкое (= несложное). - The proof is easy.
    Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.
    Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.
    Его доказательство является достаточно элементарным. - The proof is quite elementary.
    Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...
    Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...
    Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...
    Имеются все доказательства того, что... - There is every indication that...
    Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].
    Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.
    Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...
    Мы начинаем доказательство с... - We begin the proof by...
    Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.
    Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.
    Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.
    Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.
    Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,
    Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.
    Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.
    Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...
    Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].
    Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...
    Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...
    Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.
    Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...
    Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...
    (= предоставляется) читателю. - The remainder of the proof is left to the reader.
    Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.
    В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].
    Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...
    Полученное противоречие завершает доказательство. - This contradiction completes the proof.
    Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].
    Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.
    Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...
    Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...
    Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.
    С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...
    Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...
    Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].
    Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...
    Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...
    Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.
    Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.
    Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].
    Центральной частью доказательства является то, что... - The crux of the proof is that...
    Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...
    Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...
    Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...
    Чтобы закончить доказательство, мы... - In order to complete the proof, we...
    Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.
    Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...
    Это доказательство основывается на факте, что... - The proof is based on the fact that...
    Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.
    Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.
    Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.
    Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.
    Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...
    Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4.

    Русско-английский словарь научного общения > доказательство

  • 4 доказывать теорему

    Русско-английский научно-технический словарь переводчика > доказывать теорему

  • 5 доказывать теорему

    Русско-английский научно-технический словарь переводчика > доказывать теорему

  • 6 теорема доказана

    Универсальный русско-английский словарь > теорема доказана

  • 7 теорема

    theorem
    Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...
    В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...
    В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...
    Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...
    Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...
    Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...
    Данная теорема немедленно вытекает из... - The theorem follows at once from...
    Данная теорема остается справедливой даже если... - The theorem is still true even if...
    Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...
    Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.
    Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...
    Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.
    Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...
    Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.
    Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.
    Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.
    Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.
    Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.
    Имеется хорошо известная теорема о... - There is a well-known theorem on...
    Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...
    Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...
    Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...
    Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.
    Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...
    Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.
    Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...
    Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.
    Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.
    Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.
    Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].
    Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...
    Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.
    Однако следующая теорема показывает, что... - The next theorem shows, however, that...
    Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.
    Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...
    Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...
    Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...
    Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...
    Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.
    Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...
    Следующая теорема дает другое расширение... - The following theorem gives another extension of...
    Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...
    Следующая теорема известна как... - The next theorem is known as...
    Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...
    Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...
    Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...
    Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.
    Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...
    Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.
    Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...
    Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.
    Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.
    Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...
    Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.
    Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...
    Теорема не сообщает ничего о... - The theorem says nothing about...
    Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.
    Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.
    Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.
    Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...
    (= модификации), если... - The statement of the theorem needs modification if...
    Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...
    Частным случаем этой теоремы является... - A particular case of this theorem is that...
    Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...
    Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...
    Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...
    Эта теорема обеспечивает нас... - This theorem provides us with...
    Эти две теоремы совместно показывают, что... - These two results together show that...
    Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...
    Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.
    Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.
    Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem.

    Русско-английский словарь научного общения > теорема

  • 8 доказывать

    (= доказать, обосновать, показать, см. также проверять) prove, demonstrate, show, establish
    В качестве более сложного примера мы докажем, что... - As a slightly harder example we prove that...
    В общем случае можно доказать, что... - In general, it is possible to prove that...
    В результате теперь достаточно лишь доказать, что... - Consequently it is enough to prove that...
    Вдобавок можно доказать, что... - In fact it can be proved that...
    Гильберт был первым, кто доказал, что... - Hilbert was the first to prove that...
    Для того, чтобы доказать этот результат, мы должны, во-первых, вычислить... - In order to prove this result we must first calculate...
    Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.
    Полезность данной теории еще необходимо доказать. - The utility of this theory has yet to be demonstrated.
    Иногда весьма трудно доказать, что... - It is sometimes quite difficult to prove that...
    Исходя из этих сведений, легко доказать, что... - From these facts it is easy to prove that...
    Итак, мы уже доказали, что... - We have thus proved that...
    Как и ранее, (нам) достаточно доказать... - As before, it is sufficient to prove...
    Мы все еще должны доказать, что... - We still must show that...
    Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...
    Мы докажем, что... - We deduce that...
    Мы доказали следующий результат. - We have proved the following result.
    Мы можем доказать правильность соотношения (6), заметив, что... - We can prove the correctness of (6) by observing that...
    Мы можем доказать это без (особого) труда. - We can prove this without difficulty.
    Мы надеемся доказать гипотезу Смита в ближайшие годы. - We hope to prove Smith's conjecture within a few years.
    Мы надеемся доказать, что... - We hope to prove that...
    Мы надеемся удалить эти ограничения и доказать более общий результат. - We hope to remove these restrictions and prove a more general result.
    Мы надеемся, что кто-нибудь докажет гипотезу Смита в ближайшие годы. - We hope that someone will prove Smith's conjecture within the next few years.
    Мы не будем доказывать здесь чрезвычайно правдоподобное утверждение, что... - We will not prove here the very reasonable statement that...
    Мы не предлагаем доказывать существование... - We do not propose to prove the existence of...
    Мы только что доказали, что... - We have just proved that...
    На этом пути мы надеемся доказать существенный результат. - We hope to prove a significant result along these lines.
    Наконец, мы можем доказать, что... - Finally, we can prove that...
    Остается доказать, (что)... - It remains to show (that)...
    Подобное рассуждение доказало бы, что... - A similar argument would prove that...
    Подобные принципы доказали свою полезность при проектировании... - Similar principles prove helpful in the design of...
    Подобные рассуждения доказывают следующий результат. - Arguments of the same type prove the following result.
    Подобные результаты убедительно доказывают, что... - Such results conclusively prove that...
    Поняв это, мы можем доказать следующее. - With this understanding, we can prove the following.
    Следовательно, можно доказать, что... -It is therefore justifiable to...
    Следовательно, мы должны доказать лишь, что... - Hence we have only to prove that...
    Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.
    Строго говоря, мы доказали лишь, что... - Strictly speaking, we have only proved that...;
    Тем лее способом мы доказываем, что... - In the same way we prove that...
    Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.
    Теперь мы доказываем два фундаментальных результата. - We now prove two fundamental results.
    Теперь мы доказываем один фундаментальный результат. - We now prove a fundamental result.
    Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.
    Теперь мы можем сформулировать и доказать... - We are now in a position to state and prove...
    Теперь мы подготовлены к тому, чтобы сформулировать и доказать... - We are now equipped to state and prove...
    Теперь это предположение доказано, так как... - This assumption has now been justified, since...
    Часто бывает проще доказать, что... - It is often easier to prove that...
    Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...
    Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...
    Чтобы доказать это следствие... - То see the corollary, use Proposition 1 to obtain the needed estimation.
    Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...
    Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...
    Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...
    Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...
    Это доказывает лишь то, что... - This proves only that...
    Это доказывает первое утверждение. - This proves the first assertion.
    Это доказывает, что... - This proves that...
    Это можно доказать следующим образом. - This may be proved as follows.
    Этот подход доказал свою полезность в определении ранних стадий... - This approach has proven useful in identifying the early stages of...
    что и требовалось доказать (= ч. т. д. ) - Q. E. D.

    Русско-английский словарь научного общения > доказывать

  • 9 доказанный

    (= обоснованный, полученный) proved, which has been proved
    Было доказано, что дело обстоит именно так. - It was proven to be the case.
    Было аргументированно доказано, что... - It has been well documented that...
    Впервые теорема 2.1 была доказана в [3] для п = 2 и... - Theorem 2.1 was first proved in [3] when n = 2 and...
    Второе заключение может быть доказано подобным рассуждением. - The second conclusion can be proved by a similar argument.
    Данная теорема доказана Гауссом. - This theorem is due to Gauss.
    Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.
    Таким образом, данный результат (= теорема и т. п. ) доказан. - The result is therefore established.
    То, что было доказано, это... - What has been proved is that...
    Только что было доказано, что... - It has just been proved that...

    Русско-английский словарь научного общения > доказанный

  • 10 что и требовалось доказать

    1) Mathematics: QED (quod erat demonstrandum), as was to be proved, q.e.d., quod erat demonstrandum, which is the required result, which is what we set out to prove, which proves the statement, which proves the theorem (The conclusion of Lemma follows directly.), which was to be proved
    2) Religion: quod erat demonstrandum (Latin for "which was to be proved")

    Универсальный русско-английский словарь > что и требовалось доказать

  • 11 образ

    image, form, manner, way, transform, pattern
    Более общего типа результат формулируется следующим образом. - The following is a more general result of the same kind.
    Выбирая подходящим образом х и у, мы можем (получить и т. п.)... - By suitable choice of x and у it is possible to...
    Еще раз, выбирая подходящим образом L, мы можем... - Again, by making a suitable choice of L, we can...
    Задача формулируется следующим образом. - The problem is specified as follows.
    Из анализа соотношения (1) очевидным образом следует, что... - It is evident from inspection of (1) that...
    Метод, приведенный в этом параграфе, подобным образом может быть применен к... - The method of sections may be applied in a similar way to...
    Мы моделируем ситуацию следующим образом. - We model the situation as follows.
    Мы можем взглянуть на эту ситуацию с более общей точки зрения следующим образом. - We can look at this situation in general terms as follows.
    Мы можем выразить это более формально следующим образом. - A more formal way of saying this is as follows.
    Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.
    Мы можем получить данный результат следующим образом. - We can obtain the result as follows.
    Наилучшим образом проблема исследуется с использованием теории... - The problem is best approached through the theory of...
    Объяснить это наилучшим образом можно с помощью примеров. - This is best made clear by means of examples.
    Они (= результаты и т. п. ) должны пониматься следующим образом. - They are to be understood as follows.
    Подобные образы ценны как концептуальная помощь, если только мы не... - Such pictures are valuable as conceptual aids so long as we do not...
    Подобным образом можно было бы спросить, действительно ли... - In a similar way, one may ask whether...
    Подобным образом можно показать, что... - In like manner it can be shown that...
    Подобным образом мы легко можем выписать уравнение... - In the same way we can easily write down the equation of...
    Подобным образом мы можем... - In this manner we can... I
    Подобным образом мы можем определить... - We can, in a similar way, define...
    Подобным образом мы определяем (= вводим)... - Likewise, we define...
    Подытожим это следующим образом. - This we summarize by saying that...
    (= оставшиеся) члены, мы получаем... - Transforming the remaining terms in a similar manner, we obtain...
    Различные члены из соотношения (4) интерпретируются следующим образом. - The various terms in (4) are interpreted as follows.
    Действуя подобным образом, мы можем выразить... - Following a similar procedure, we may express...
    Точно таким же образом можно показать, что... - It can be shown by an exactly similar process that...
    Таким образом, важно узнать основные свойства... - Thus, it is important to understand the basic properties of...
    Таким образом, возможно выразить F в терминах... - It is therefore possible to express F in terms of...
    Таким образом, данный результат доказан. - The result is therefore established.
    Таким образом, имеется близкая аналогия между... и.... - There is thus a close analogy between... and....
    Таким образом, мы можем обобщить результаты из первого параграфа и сообщить, что... - Thus, we can generalize the results of Section 1 and state that...
    Таким образом, мы подготовили (все) для... - In this way the stage was set for...
    Таким образом, мы получаем выражения... - In this way we obtain the expressions...
    Таким образом, мы пренебрегаем различием между... - We thus ignore the distinction between...
    Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...
    Таким образом, наше обсуждение свелось к
    (= ограничилось)... - Thus far our discussion has been limited to...
    Таким образом, проблема становится задачей выбора... - The problem thus becomes one of choosing...
    Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.
    То же самое можно сказать еще следующим образом:... - Another way of putting it is that...
    Чтобы упорядочить все эти идеи нужным образом, мы... - In order to place these ideas in their proper framework, we...
    Эти константы должны быть выбраны таким образом, чтобы... - These constants must be chosen in such a manner that...
    Эти результаты можно очевидным образом обобщить (на случай и т. п.)... - These results can be extended in an obvious way to...
    Это достигается следующим образом. - This is achieved as follows.
    Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...
    Это могло бы быть сделано следующим образом. - This may be done as follows.
    Это могло бы быть формально выражено следующим образом. - This may be expressed formally as follows.
    Это может быть получено следующим образом. - This can be obtained as follows.
    Это можно доказать следующим образом. - This may be proved as follows.
    Это обозначение распространяется обычным образом на... - This notation is extended in an obvious manner for...
    Это очевидным образом вытекает из того факта, что... - This is clearly borne out by the fact that...
    Это строится следующим образом. - It is constructed as follows.
    Этот метод очевидным образом может быть распространен на (случай)... - This process can clearly be extended to...

    Русско-английский словарь научного общения > образ

  • 12 глубокий

    deep, profound
    ... имеет глубокие и далеко идущие результаты. -... has a number of profound and far-reaching implications.
    Для обратного (утверждения) необходимы более глубокие рассуждения. - A deeper argument is required for the converse.
    Его более глубокое значение становится явным, когда... - Its deeper significance will become apparent when...
    Здесь (заранее) предполагается глубокое понимание... - This presupposes an intimate knowledge of...
    Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].
    Следующая теорема дает более глубокое понимание (чего-л). - The next theorem provides more insight into...
    Эта простая, но все же глубокая идея... - This simple yet profound idea...
    Это действительно глубокий (= сложный) вопрос. - This is indeed a deep question.

    Русско-английский словарь научного общения > глубокий

  • 13 часть

    part, side (of an equation or inequality), share, portion, piece
    Большая часть этой книги посвящена... - Much of this book is concerned with...
    Большая часть данной теории может быть развита в терминах... - A large part of the theory can be developed in terms of...
    Большая часть материала дана в форме таблиц, чтобы помочь разработчику... - Much of the material is in tabular form to assist the designer in...
    В большинстве практических ситуаций никакая из частей этой информации не дается. - In most practical situations, neither of these pieces of information is given.
    В оставшейся части данного параграфа мы будем иметь дело только с... - The remainder of this section applies only to...
    В оставшейся части нашего анализа мы будем предполагать, что... - We shall assume for the remainder of this analysis that...
    В оставшейся части этого параграфа мы будем интересоваться... - For the remainder of this section we will be interested in...
    В следующей части параграфа приводятся некоторые дополнительные соображения. - The following subsection outlines some additional considerations.
    Для эффективного действия все части должны быть... - For efficient functioning, all parts must be...
    До сих пор большая часть нашего обсуждения была посвящена... - Most of our discussion so far has been about...
    Значительная часть настоящей главы посвящена... - A large proportion of the present chapter is concerned with...
    Мы могли бы, если бы пожелали, изучить различные части (чего-л). - We could, if we wished, study various portions of...
    Обширная часть теории была разработана для... - A vast amount of theory has been developed for...
    Однако наше исследование составляет лишь малую часть (чего-л). - However, our study comprises only a small portion of...
    Основная часть этой работы была проделана в главе 2. - The bulk of the work was done in Chapter 2.
    Остальная часть этой главы посвящена... - The rest of the chapter deals with...
    Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.
    Следующая часть вытекает из... - The next part follows from...
    Центральной частью доказательства является то, что... - The crux of the proof is that...
    Часть из наиболее знаменитой работы относительно... была выполнена Брэмблом. - Some of the most famous work on... was performed by Bramble.
    Часть их может оказаться не такими полезными как остальные, поскольку... - Some of these may not be as useful as others, because...
    Чтобы не усложнять математическую часть, часто удобно... - То keep the mathematics simple it is often convenient to...
    Эти части преобразованы так, чтобы сформировать... - These parts are arranged to form...

    Русско-английский словарь научного общения > часть

  • 14 несколько

    several, some, a few, more than one
    А теперь мы обсудим это несколько полнее. - We now give a somewhat fuller discussion.
    В нескольких следующих примерах мы будем предполагать для удобства, что... - In the next few examples we will assume for convenience that...
    Данный процесс может быть проиллюстрирован несколькими примерами. - The process may be illustrated by a few examples.
    Его вязкость на несколько порядков больше (= выше)... - Its viscosity is several orders (of magnitude) greater than...
    В его обязанности входит руководство несколькими аспирантами. - His duties include advising several phd students.
    Можно было бы сказать несколько слов относительно... - A few words may be said here about...
    Мы можем упомянуть лишь несколько из... - We can touch on only a few of the...
    Мы проделаем это в несколько шагов, первым из которых является... - We carry this out in several stages, the first of which is...
    Мы уже несколько раз сообщали о нашем намерении (изучить, развить и т. п.)... - We have indicated a few times our intention to...
    Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].
    Несколько более полезная диаграмма получается... - A somewhat more useful design curve is obtained by...
    Несколько более трудный пример предоставляется... - A more difficult example is provided by...
    Несколько иное рассуждение показывает, что... - A slightly different argument shows that...
    Несколько исследователей рассматривали эффект... - A few investigators have considered the effect of... (= Several investigators have considered the effect of... )
    Несколько примеров приводятся в [2]. - Several examples are given in [2].
    Несколько проще результат получается, если мы... - A somewhat simpler result is obtained if we...
    Однако имеются несколько специальных случаев, в которых/ когда... - There are, however, a few specific cases in which...
    Относительно приведенного выше соотношения (2) можно сделать несколько замечаний. - A few remarks may be made in connection with (2) above.
    Приведенные выше предположения имеют несколько ограничительный характер. - The above assumptions are somewhat restrictive.
    Стоимость может быть несколько снижена. - The cost can be lowered somewhat.
    Формула (4) может быть выражена в несколько отличной форме посредством... - The result (4) may be expressed in a slightly different form by means of...
    Эти примеры несколько сбивают с толку. - These examples are somewhat misleading.
    Это преобразование может быть приспособлено для нашей задачи несколькими способами. - This transformation can be adapted to our Problem 2 in several ways.

    Русско-английский словарь научного общения > несколько

  • 15 ко времени писания этой книги

    At this writing no one has proved the theorem.

    Русско-английский научно-технический словарь переводчика > ко времени писания этой книги

  • 16 ко времени писания этой статьи

    At this writing no one has proved the theorem.

    Русско-английский научно-технический словарь переводчика > ко времени писания этой статьи

  • 17 но довольствовался

    Универсальный русско-английский словарь > но довольствовался

  • 18 теорема была впервые доказана

    Универсальный русско-английский словарь > теорема была впервые доказана

  • 19 доказывать

    prove матем.
    * * *
    дока́зывать гл.
    prove
    дока́зывать стро́го — prove rigorously [in rigorous terms], give a rigorous proof
    дока́зывать теоре́му и т. п. — construct the proof of a theorem, etc.
    * * *

    Русско-английский политехнический словарь > доказывать

  • 20 ко времени писания этой книги

    At this writing no one has proved the theorem.

    Русско-английский научно-технический словарь переводчика > ко времени писания этой книги

См. также в других словарях:

  • Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …   Wikipedia

  • Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …   Wikipedia

  • theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… …   Universalium

  • Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… …   Wikipedia

  • Bruck–Chowla–Ryser theorem — The Bruck–Chowla–Ryser theorem is a result on the combinatorics of block designs. It states that if a ( v , b , r , k , λ) design exists with v = b (a symmetric design), then: : k − λ is a squarewhen v is even, and the diophantine equation: x 2 − …   Wikipedia

  • Crystallographic restriction theorem — The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2 fold, 3 fold, 4 fold, and 6 fold. However, quasicrystals can occur with other symmetries …   Wikipedia

  • Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… …   Wikipedia

  • Splitting theorem — The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature :{ m Ric} (M) ge 0 has a straight line, i.e., a geodesic gamma; such that :d(gamma(u),gamma(v))=|u v| for …   Wikipedia

  • The Doctrine of Chances — For the rule of evidence in law, see doctrine of chances. Front page of the 1st edition of the “Doctrine of Chances”. The Doctrine of Chances was the first textbook on probability theory, written by 18th century French mathematician Abraham de… …   Wikipedia

  • Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… …   Wikipedia

  • Borel determinacy theorem — In descriptive set theory, the Borel determinacy theorem shows that any Gale Stewart game whose winning set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A.… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»